Boundaries: Description v. Survey
نویسندگان
چکیده
منابع مشابه
Complexity Boundaries for Horn Description Logics
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In thi...
متن کاملFuzzy Description Logics - A Survey
Mathematical Fuzzy Logics [51,60] have a long tradition with roots going back to the many-valued logics of Łukasiewicz, Gödel, and Kleene [57, 68, 73] and the Fuzzy Set Theory of Zadeh [111]. Their purpose is to model vagueness or imprecision in the real world, by introducing new degrees of truth as additional shades of gray between the Boolean true and false. For example, one can express the d...
متن کامل5 dpo - 2000 Team description - v 2000
This paper describes the 5dpo-2000 team. The paper will be divided into three main sections, corresponding to three main blocks: the Global Level, the Local Level and the Interface. These Levels, their subsystems and some implementation details will be described next.
متن کاملA Survey of Architecture Description Languages
Architecture Description Languages (ADLs) are emerging as viable tools for formally representing the architectures of systems. While growing in number, they vary widely in terms of the abstractions they support and analysis capabilities they provide. Further, many languages not originally designed as ADLs serve reasonably well at representing and analyzing software architectures. This paper sum...
متن کاملA Survey of Architecture Description Languages
In the last few years, a considerable number of architecture description languages (ADLs) have been proposed for describing and reasoning about software architectures. In this work, we classify and compare several ADLs placing emphasis on their features for formal modelling and analysis.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Michigan Law Review
سال: 1955
ISSN: 0026-2234
DOI: 10.2307/1285234